- 双语例句 更多例句
1、
利用PowerPoint的VBA编程功能制作勾股定理的探索与验证交互性课件
互联网摘选
2、
Formal Verification of Algorithmic Programs Based on the Isabelle Theorem Prover
基于Isabelle定理证明器算法程序的形式化验证
互联网摘选
3、
4、
5、
- 相关词组
- hard implicit function theorem硬隐函数定理
- reciprocity theorem倒易理论，互易定理;
- the Pythagorean theorem勾股定理;
- Chomsky normal form theorem[计]乔姆斯基范式定理;
- convolution theorem卷积定理，对合定理;
- index theorem指数定理
- moment of momentum theorem动量矩定理
- monotone concergence theorem单调收敛定理
- cancel after verification核销;
- individual ergodic theorem个体遍历定理,个体各态历经定理
- noisy channel theorem噪声信道定理
- converse theorem逆（定）理;
- binomial theoremn.二项式定理，二项展开式;
- monotone convergence theorem单调收敛定理
- hypothesis verification假设验证
- Vieta theorem韦达定理
- impossibility theorem不可能性定理
- remainder theorem余部定理;
- model verification模型验证
- existence theorem存在性定理;
- 今日热词
- 热门搜索
- powerpoint 微软公司生产的制作幻灯片和简报的软件;
- offense n.进攻;（球队的）前锋;进攻方法;攻势;冒犯；犯罪;
- indeed adv.确实;实际上;究竟;
- watch v.看，注视，观察;照看;监视;当心，留意;对…保持关注;n.表;注意，注视，观察;值班（人）;
- International adj.国际的;n.国际比赛;国际比赛选手;外国人;
- 道琼斯指数 Dow Jones Index
- title n.标题;头衔;[体]冠军;[影视]字幕;职位;vt.加标题;赋予头衔;把…称为;
- basketball n.篮球（运动）;
- refresh v.（使）恢复精力;给（蓄电池）充电;提醒，提示;〈计〉刷新;吃点心，喝饮料;（使）振作精神;使感到凉爽;使记起;补充给养，贮入补给品;再斟满;使变得新鲜;使得到补充;（添加燃料）使（火）旺烧;更新技能、知识;（用油漆等）将……装饰一新;使（脱水蔬菜等）吸水返鲜;〈烹〉（焯过的蔬菜）浸入冷水保鲜，把（食物）放在冷水里冰镇或保鲜n.〈计〉刷新（网页）
- cage n.笼子;v.把（动物）关在笼中;
- photographer n.摄影爱好者;
- tcpdump 记录网络数据包；网络数据包抓取命令
